系统L^＊相关论文
在不使用系统L^＊的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必......
证明了L^*-Lindenbaum代数[F]是具有逆序对台对应的有界分配格．得出了L^*中的公理系统的一种简化形式．......
为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了......
